  Talleres

  |  | WORKSHOP ON COMPUTATIONAL LOGIC FOR ARTIFICIAL AND HUMAN INTELLIGENCE
  |  | Robert Kowalski, Profesor Emérito Departamento de Computación Imperial College of Science, Technology and Medicine Londres, Reino Unido. (based primarily on the draft chapters of the book at
  http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html).
  Tópicos:
  .Computational and logical interpretations of natural language,
  as exemplified by the London underground emergency notice.
  as exemplified by the story of the fox and crow.
  .
  Production systems as a model of reactive systems,
  as exemplified by the wood louse and the Mars explorer.
  .
  A computational logic framework that combines goal-reduction,
  condition-action rules, and more.
  .
  Computational logic as a model of thinking that combines inference from
  observations with search for solutions of goals and inference to derive
  possible consequences of proposed solutions before they are put into action.
  .
  The use of computational logic to derive an input-output specification
  from a requirements analysis, as exemplified by the wood louse and the
  wood louse designer.
  .
  Reasoning in advance as a tool for transforming high-level
  representations that are easier to develop and easier to maintain into
  lower-level input-output associations that are more efficient to execute.
  . Combining the use of logic to generate solutions and infer their
  consequences with the use of probability and decision theory to choose
  solutions, as exemplified by the Prisoner's Dilemma.
  PARA MAYAOR INFORMACION DIRIGIRSE CON
  DRA. LOURDES SANDOVAL SOLIS
  Secretaria de Investigación y Estudios de Posgrado
  Facultad de Ciencias de la Computación.
  Benemérita Universidad Autónoma de Puebla
  TELF 2 29 55 00 EXT 7205
  E-MAIL :sandoval@siu.buap.mx
  lulu@cs.buap.mx

  INICIO FACULTAD UBICACION HISTORIA ACTIVIDADES CONCURSO CARTELES TRABAJOS TALLERES CONFERENCIAS CULTURALES EGRESADOS FUNDADORES CONTACTO COMENTARIOS INSCRIPCIONES COSTOS